Joker: um realizador de desenhos animados para linguagens formais

Using formal methods, the developer can increase software s trustiness and correctness. Furthermore, the developer can concentrate in the functional requirements of the software. However, there are many resistance in adopting this software development approach. The main reason is the scarcity of adequate, easy to use, and useful tools. Developers typically write code and test it. These tests usually consist of executing the program and checking its output against its requirements. This, however, is not always an exhaustive discipline. On the other side, using formal methods one might be able to investigate the system s properties further. Unfortunately, specification languages do not always have tools like animators or simulators, and sometimes there are no friendly Graphical User Interfaces. On the other hand, specification languages usually have a compiler which normally generates a Labeled Transition System (LTS). This work proposes an application that provides graphical animation for formal specifications using the LTS as input. The application initially supports the languages B, CSP, and Z. However, using a LTS in a specified XML format, it is possible to animate further languages. Additionally, the tool provides traces visualization, the choices the user did, in a graphical tree. The intention is to improve the comprehension of a specification by providing information about errors and animating it, as the developers do for programming languages, such as Java and C++.

Tatuagem: cultura de massas e afirmação subjetiva incorporadas

Como afirmar a própria subjetividade e pertenças identitárias num mundo em constante mudança pelo excesso de informação midiática e pela alternância de papéis sociais? Para jovens urbanos, o consumo cultural possibilita utilizar a imagem do próprio corpo como instância de incorporação de valores, símbolos midiáticos e expressão de subjetividade a partir de sua escolha por produtos simbólicos veiculados pela mídia da comunicação de massa e tatuados na pele. Com suporte principal em Hall, Canclíni, Morin e Le Breton, partimos do pressuposto de que não existe realidade sem representação da linguagem; assim, a opção por certos tipos de narradores midiáticos da cultura contemporânea põe em foco o simbolismo sobreposto à pele, que reproduz imagens icônicas de bandas, filmes e desenhos animados ou de quadrinhos. Essas imagens são resíduos de memórias individuais/coletivas ostentadas socialmente e que discursam sobre as relações de consumo dos sujeitos sociais e as novas sensibilidades originadas da convivência tecnologicamente midiatizada

Tatuagem: cultura de massas e afirmação subjetiva incorporadas

Como afirmar a própria subjetividade e pertenças identitárias num mundo em constante mudança pelo excesso de informação midiática e pela alternância de papéis sociais? Para jovens urbanos, o consumo cultural possibilita utilizar a imagem do próprio corpo como instância de incorporação de valores, símbolos midiáticos e expressão de subjetividade a partir de sua escolha por produtos simbólicos veiculados pela mídia da comunicação de massa e tatuados na pele. Com suporte principal em Hall, Canclíni, Morin e Le Breton, partimos do pressuposto de que não existe realidade sem representação da linguagem; assim, a opção por certos tipos de narradores midiáticos da cultura contemporânea põe em foco o simbolismo sobreposto à pele, que reproduz imagens icônicas de bandas, filmes e desenhos animados ou de quadrinhos. Essas imagens são resíduos de memórias individuais/coletivas ostentadas socialmente e que discursam sobre as relações de consumo dos sujeitos sociais e as novas sensibilidades originadas da convivência tecnologicamente midiatizada

Sobre projetos, palavras e imagens: relacionando textos e desenhos nos trabalhos finais de graduação em arquitetura e urbanismo

This research continues the current debate about the role of the images and the words in the architectural design persuasion, where we emphasize the increasing valuation of written documents (FORTY, 2004; MARKUS; CAMERON, 2002), the seduction for the graphical representation (DURAND, 2003) and the rhetorical effects of the graphical and textual resources (TOSTRUP, 1999). Based on these quarrels, we look for verify in the graduate final projects the relation between the design texts and images. From the PROJEDATA, database of the PROJETAR research group (UFRN), we selected the final projects of two brazilians universities, UFRN and USP, that in a first analysis, they had shown as ideal types of two distinct design presentation models, respectively: texts and drawings in separated documents, or combined in an only support. Based on Markus explanation about the function and the content of the texts, on the Durand perspective with regard to graphical representation uses and on Tostrup point of view concerning the rhetorical potential of texts and drawings, we analyze, in a set of 25 projects, how the students relate the textual and imagetical speeches. For this, we related the focus of each speech, in order to verify the possible coherence between both. We conclude that in the model of USP final project the coherence between the texts and the drawings is clearer than in the model adopted in UFRN

Vivências da violência intrafamiliar : o simbolismo dos desenhos infantis

Conselho Nacional de Desenvolvimento Científico e Tecnológico

Antonin artaud: a crueldade pelos desenhos e autorretratos

Antonin Artaud, a name that reminds us of areas ranging from theater to poetry, linguistics to psychoanalysis, is a multipurpose name that transits as poet, painter, writer, actor, screenwriter, playwright and theater director. Artaud s route is raw material for researchers of various hues interested in a life and work that allows panning in different fields of knowledge. It raises the question of language and manipulation of signals in terms of magical forces and the relationship maintained through them with the cosmos and the divine. Artaud searches through a language of signals, gestures and objects that express themselves by objective forms and the use of words as solid objects. For him, the language of words must give way to the language of signals, whose objective aspect is what strikes us most immediately. Our work indicates the possibility of realization and recognition of the aesthetic of cruelty present in the writing drawings of artaudian s work, realizing thus, that art as a record of culture hence as double of life allows us a more critical and transforming look to the society, thinking about the aesthetics of cruelty as Artaud proposes and thinks cruelty: as appetite for life. Our dialogue held during the construction of this journey has the company, besides the one of Antonin Artaud, other authors such as Jacques Derrida, Gilles Deleuze and Felix Guatarri, among others which, during the hike and framing of this route help us to think about the aesthetics of cruelty in an Artaudian perspective

Esforços governamentais locais para o desenvolvimento: desenhos, tendências e limites dos Fundos de Desenvolvimento Industrial nos estados do Rio Grande do Norte, Maranhão e Ceará (1985-2010)

This research aimed to analyze the main government efforts to promote economic development in the Northeast, from 1985 to 2010, under the view that growth is crucial for increasing industrialization process and allows for more significant growth patterns. The analysis was the context in which state governments react to the abandonment of developmental line the federal level, in the 1980s, incorporating features of the actions called endogenous regional development and providing local players with greater responsibility in the development process. Justifies the need to analyze the following scenario: state governments in northeastern Brazil using relevant part of its resources to finance the installation and expansion of companies through tax incentives, with a view to generating income and employment, whilst waiting for an increase in output and a positive change in economic dynamism. In addition, it puts in question the fact that these policies receive such importance of state administrations for the purpose of achieving regional development. It was left to consider, therefore, the contents of the shares elected by state governments to examine the scope of these policies both in the pattern of growth, the transformation of the industrial sector and the development of the region attention to changes in state production structures. Due to limitations on the availability of data and time to carry out research, we were elected three states for the study: Rio Grande do Norte, Ceará and Maranhão. The study found that, despite the contribution of policies analyzed to economic growth, sub-national states are unable to compensate for the lack of development agencies structured at the federal level.

Sobre projetos, palavras e imagens: relacionando textos e desenhos nos trabalhos finais de graduação em arquitetura e urbanismo

This research continues the current debate about the role of the images and the words in the architectural design persuasion, where we emphasize the increasing valuation of written documents (FORTY, 2004; MARKUS; CAMERON, 2002), the seduction for the graphical representation (DURAND, 2003) and the rhetorical effects of the graphical and textual resources (TOSTRUP, 1999). Based on these quarrels, we look for verify in the graduate final projects the relation between the design texts and images. From the PROJEDATA, database of the PROJETAR research group (UFRN), we selected the final projects of two brazilians universities, UFRN and USP, that in a first analysis, they had shown as ideal types of two distinct design presentation models, respectively: texts and drawings in separated documents, or combined in an only support. Based on Markus explanation about the function and the content of the texts, on the Durand perspective with regard to graphical representation uses and on Tostrup point of view concerning the rhetorical potential of texts and drawings, we analyze, in a set of 25 projects, how the students relate the textual and imagetical speeches. For this, we related the focus of each speech, in order to verify the possible coherence between both. We conclude that in the model of USP final project the coherence between the texts and the drawings is clearer than in the model adopted in UFRN

A descentralização das políticas de desenvolvimento rural: uma análise da experiência do Rio Grande do Norte

MATOS FILHO, João. A descentralização das Políticas de desenvolvimento rural - uma análise da experiência do Rio Grande do Norte. 2002. 259f. Tese (Doutorado em Ciências Econômicas)– Instituto de Economia da Universidade Estadual de Campinas, Campinas, 2002.

Planejameto municipal do turismo: diretrizes e perspectivas - o caso da SETURDE

Given the uncertainties of the environment in today's world, strategic planning is again discussed as an important tool to position the organization in future likely. To address this a more dynamic and less linear, trying to adapt the multiple realities, the method of scenarios can be one of the strategies to anticipate future designs. In the public sphere, an efficient implementation of human resources and financial managers require a new approach to the formulation of strategies. Tourism, in turn, presents itself as an important segment of the national economy shaped up as a major source of funds for the formation of the Gross Domestic Product - GDP - of states and municipalities. This study aims to know the guidelines and perspectives of municipal planning of tourism in the city of Natal/RN from the case by the representatives of the sector. The survey was developed based on a qualitative, exploratory, based on the case in the Secretaria Municipal de Turismo e Desenvolvimento Econômico - SETURDE. The results express that the body goes through a time of changes in its organizational structure and in defining its role with the local tourism. The national plan for tourism and the choice of Christmas as the host city for the World Cup in 2014 have stimulated interest in developing a formal strategic planning in the organization. However, when it comes to more complex tools, such as the method of future scenarios, the technical know its definition and importance for future actions. The results presented support the conclusion that the actions are designed intuitively and without complying with the scientific methods developed for this purpose, as the method of strategic scenarios. However, the evidence beginning to emerge from the plans and documents issued by the federal government, as well as the Secretary's own initiative, direct the actions of the body to coordinate and act as a fulcrum for local action to the increase in tourism

Análise cintilográfica da deposição pulmonar de radioaerossol após associação da nebulização através dos dispositivos mesh e jato com a ventilação não invasiva em indivíduos normais e com pneumopatias obstrutivas crônicas

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

O livro didático de história: um caleidoscópio de escolhas e usos no cotidiano escolar (Ceará, 2007 2009)

In the first decade of the XXI century, it is possible to assert that school textbook is part of the material culture of most public Brazilian schools by means of National School Textbook Program (PNLD). This research aimed at identifying and analyzing textbooks choice in Ceara, relating it to the uses of such tool within school daily life. The setting for the study was four public schools, two of them placed in Fortaleza, and the other in Quixada. It evaluated the uses of textbooks in the 6th grade. As part of methodology, public managers were interviewed, teachers answered surveys, and a direct observation during History classes in 2008 school year was carried out. The observation was over after round chats with students in the class, in which each one designed draws and sentences concerning to the textbook. Furthermore, the study was based on MEC official documents that regulate the textbook choice process with National textbook Program announcement (PNDL/2008) and PNDL/2008 Textbook Guide, in addition to History textbooks schools used. Roger Chartier‟s concept of appropriation was an analysis category, as well as Michael de Certeau s strategy and tatics‟, and Dominique Julia‟s concept of school culture . The study recognizes textbook in the perspective of Alain Choppin and Egil Borre Johnsen, since it is a complex cultural object. For this reason, the study designs an analogy with a kaleidoscope that sends different images depending on who uses it, within a set of colorful lines, since textbook comprehends nowadays different sources and languages, as it offers countless possibilities of use in teaching History. The study concludes that only the main text of each chapter is really worked in daily class practice. Therefore, although theoretical and graphic changes in textbook production, the textbook is underused, which is central to a later rethought of teachers instruction, since, depending on the conception of teaching and learning, textbook potentialities will be used to improve the development of knowledge in History.

O processo de invenção de si: um estudo sobre a construção identitária de pedagogas em formação

This work was developed in the course of Pedagogy, Universidade Federal do Rio Grande do Norte. Aims to understand the process of identity construction of teachers and educators in initial training. We started from the idea that such process was made by a complex and interdependent movement, once it was an inventive phenomenon wrought by individuals who are authors and actors of the story of their "real life" (KAUFMANN). This identity is rooted in the trajectories and social biographical experiences (FERREIRA), relationships with the constructed and accumulated knowledge in this route (CHARLOT) and in the developing of a sense of cultural belonging institutionally constructed (Luckmann, Berger). Then, the training involves relationships with knowledge in several instances, considering the effects, in one hand, the historic-social production and, in another hand, from the positions of subject and their biographical itinerary, existential and formative. We used the methodology of the Comprehensive Interview (KAUFMANN; SILVA), associated with a network of theoretical references, empirical and very analytical and interpretive activity. She researcher also relied on the "sensitive listening" (BARBIER), empathic attitude of "listening / seeing" the subject, and the notion of "intellectual artisan" (MILLS). The individual interviews were supplemented by the Focus Group. The approach was multi-referential (ARDOINO; MACEDO), with the intertwining of different perspectives, allowing a more complex configuration and less reductionist. In the analysis and interpretation we located the starting point, genesis of identity whose dynamics is not rigidly determined, but localized in space-time that precedes entry into the initial training. It is the time of concerns, questions and reflections about what you want to be in the future professional life. In sequence, we saw the route, multifaceted process whose the direction is the increasing involvement of individuals with their training. This training is engendered by the relations with the curricular, extracurricular and discursive knowledge, as simultaneous dynamics of self training and socio training. The self training of the individuals, understanding the critical, ethic and authority reading of their own experiences, is also seen as an exercise of shared responsibility, it assumes that the relationship with others meanings and professor mediation. The socio training refers to the collective subject and turns to the historical production and diversified knowledge, and comprehension of the various training instances. Self training and socio training are both objects of negotiation, because they are provocative of new designs, and cultural and identity maps, mobilizing the senses towards new meanings of themselves and the professional reality. It is in this interdependence between what is historically produced and the experiences of the subjects, who we located the arrival, considering it as a radically incomplete process of the professional identity and the building itself.

Iconografia humorística no ensino de História :modalidade de uso na sala de aula

Plongés dans le temps présent, les dessins humoristiques, par la capacité de représenter, de suggérer et de communiquer une idée, marquent présence à l école et dans la salle de classe. Caractérisés par l utilisation d éléments comiques, satiriques et irôniques, outre la nature persuasive, ces dessins possibilitent le lecteur de faire une lecture critique des événements sociaux et politiques de notre société. En tant que langage visuel, structuré dans les formes verbale et icônique, de même que par le caractère analogique de représentation, les dessins humoristiques constituent un excellent recours pédagogique. Toutefois, ils sont longtemps restés inaperçus par l école et, seul récemment, ils sont devenus objet d investigation de la part des historiens. Dans ce sens, nous nous sommes proposés, dans cette étude, à analyser l utilisation de ces dessins par les professeurs d histoire des écoles publiques nommées Centros Paraibanos de Educação Solidária (CEPES), de João Pessoa, capitale de l Etat de Paraíba, en vue d appréhender et de discuter la façon dont ces professeurs font usage de ces dessins dans leur pratique pédagogique. Par le moyen des actions des professeurs, conçues comme des arts de faire, selon Certeau, et par l identification des usages qui se caractérisent comme des tactiques, nous avons essayé de percevoir comment se réalise le rapport humour et histoire, en salle de classe. La systématisation, la catégorisation et la narration des pratiques pédagogiques observées ont été réalisées par l analyse des questionnaires et des interviews appliqués aux professeurs et élèves, ainsi qu à l observation des classes. Notre recherche s est fondée sur les théories de Roger Chartier et Michel de Certeau, dont les concepts de représentation et d appropriation, d usages et de tactiques nous ont aidé à comprendre la forme par laquelle les sujets incorporés au quotidien de la salle de classe se sont appropriés de la dimension imagétique à travers l humour. A partir des concepts d usage et d appropriation nous avons identifié dans les actions et les parlers, la façon dont les dessins humoristiques sont travaillés par les professeurs. Conçus comme des registres visuels qui relatent des questions sociales, politiques et économiques, ces dessins sont perçus comme des registres visuels qui relatent des questions sociales, politiques et économiques, identifant, ainsi, les adversités du présent, dans le monde social

Como se fora brincadeira de roda: a ciranda da ludopoiese para uma educação musical humanescente

The present work concerns an auto-ethnographic study based on life experiences and reflections of an educator at Escola Viva Preschool and Elementary-Middle School, located in the city center of Natal, Rio Grande do Norte. As a cognitive model of operation, we use the metaphor of the Circle Dance. The objective of this study is to identify, interpret and describe the ludopoetics that are achieved through a Musical Education program, which we denominate, Humanescent. The data of this investigation was derived from the music making by Preschool and Elementary-Middle School students at Escola Viva during 2007, 2008 and 2009, from which 20 learners were selected to form the corpus, along with the description and interpretation of photos of their experiences and sand tray scenes. We justify the methodological systemization of the research based on our own pedagogical practice, which supports Musical Education in the schools based on the principals of Embodiment, Autopoesis and Flow. The methodological systemization was developed through an Action Research model and on the concepts of Systemic Development, with the goal of re-reading the context investigated through the structuring of categories of Ludopoesis: Self-esteem, Self-territory, Self-connectivity, Self-realization and Selfworth. We used an observant-participant research approach with regard to the perception of emergent knowledge, the surroundings, the experience lived and the contextual and vibration of the circumstances. Besides this, we used projection to interpret the experiences lived, in the form of drawings, short poems, letters or sand tray scenes as symbolic interpretations of experience. In the unfolding of the Ludopoetic Process (Selfesteem, Self-territory, Self-connectivity, Self-realization and Selfworth) we draw conclusions about the relevance of the ludic musical experience, which foments the formation of the self based on music learning, and which is demonstrated in the Embodiment of the learners. In the auto-formative process (of learners and educators) we observe the importance of pedagogical work based on Musical Humanescent Education that gives value to the music making path to the construction of music and performance in play, creativity, and sensibility. The experience of making music in a playful way allows for organization of the self and its autonomous production in the joy of living within a ludopoetic process. These findings highlight the educator as in a permanent state of selfformation, which generates moments of flow. However, in Musical Humanescent Education, music is learned collectively, doing a circle dance, experiencing love, fostering an expansion of the creative spirit, and giving recognition to playfulness as a necessary condition for education and to the value of music made with the true nature and sensibilities of the educators